No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4744-4744 | Adderall e' uma sub-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4745-4745 | Adderall e' uma sub-classe de Mistura |