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