APPROVED Jeremy J. Carroll The abstract syntax form of the conclusions is:

EquivalentClasses( restriction( first:p, minCardinality(1) ) )
ObjectProperty( first:p )

This is trivially true given that first:p is an individualvaluedPropertyID.