Assertion: cone's base | /r/HasProperty | f
Facets:
Source sentences:
text: whose ''sides'' are all the ψ ''X'' indexed by Ob(''J'') and whose ''base'' is ''F''.