theorem ComplexSentence.instSoldierIsToParent
theorem ComplexSentence.instSoldierIsToParent: ∀ (x : Type) [Soldier.Is x], Person.Is x
theorem ComplexSentence.instSoldierIsToParent
theorem ComplexSentence.instSoldierIsToParent: ∀ (x : Type) [Soldier.Is x], Person.Is x