Property information
s 'has part structure that is capable of' p if and only if there exists some part x such that s 'has part' x and x 'capable of' p
s 'has part structure that is capable of' p if and only if there exists some part x such that s 'has part' x and x 'capable of' p