create implication pantyshot_(standing) -> pantyshot
create implication pantyshot_(standing) -> standing
create implication pantyshot_(lying) -> pantyshot
create implication pantyshot_(lying) -> lying
create implication pantyshot_(squatting) -> pantyshot
create implication pantyshot_(squatting) -> squatting
create implication pantyshot_(kneeling) -> pantyshot
create implication pantyshot_(kneeling) -> kneeling
Reason: Subsets.
And these implications are already in place, listed for completeness:
pantyshot_(sitting) -> pantyshot
pantyshot_(sitting) -> sitting
Updated by jxh2154