Schema names as part of a formula
?d: P Person | #d <= Max ? d = ?
may be written as ?Class1 ? d = ?
?d: P Person | #d <= Max ? d ? male
may be written as ?Class1 ? d ? male
?d: P Person | #d <= Max ? #d
may be written as ?Class1 ? #d
?d’: P Person | #d’ <= Max ? #d’ <= Max ? d’ = ?
may be written as ?d’: P Person | #d’ <= Max ? InitClass1’