ulo:generated-by
CSC mentions:
CSC: A ulo:generated-by makes me think of the method used to
generate something. Also this property seems unrelated in spirit
to the following. It is not about inspecting more details of the
internal structure. I would put in this class instead all properties
that approximate the structure in some way. E.g.: the previous
ulo:x-occurs-in-y; the refined ones we used in Whelp like
ulo:x-occurs-in-the-head-of-y-under-n-foralls; or things like
ulo:the-proof-tree-has-height-h or ulo:ldots-has-n-nodes, that
could be useful as measures for proof search; or ulo:proved-by-induction etc.