#A4#
#ListABC#
##
##
##
#owl::someValuesFrom#
##
#contents#
##
##
##
##
#A#
##
##
##
##
##
#owl::someValuesFrom#
##
#next#
##
##
##
##
##
##
##
#owl::intersectionOf#
##
##
##
##
##
#List#
##
##
##
#owl::someValuesFrom#
##
#B#
##
##
##
#owl::intersectionOf#
##
##
##
##
##
##
##
##
##
##
#owl::someValuesFrom#
##
#C#
##
##
#List#
##
##
##
#owl::someValuesFrom#
##
#next#
##
##
##
##
##
#owl::someValuesFrom#
##
##
#owl::intersectionOf#
##
#next#
##
##
##
##
##
##
#List#
##
##
##
##
##
#owl::someValuesFrom#
##
#EmptyList#
##
##
#contents#
##
##
##
##
#List#
##
##
##
#owl::Restriction#
##
#owl::Thing#
##
##
#contents#
##
##
##
#<=0#
##
#owl::Restriction#
##
#owl::Thing#
##
##
#next#
##
##
##
#<=0#
#contents#
##
##
##
##
#contents#
##
##
##
##
#<<owl::ObjectProperty>>
#
#<<owl::TransitiveProperty>>
#
#rest#
#<<owl::ObjectProperty>>
#
#<<owl::FunctionalProperty>>
#
#next#
#<<owl::ObjectProperty>>
#
#<<owl::FunctionalProperty>>
#
#contents#
##
##