Assertion: class duck | /r/HasProperty | class otherduck
Facets:
Source sentences:
text: class Duck { public void Quack() { ... } public void Walk() { ... } } class OtherDuck { public void Quack() { ... } public void Walk() { ... } } ... void M(Duck bird) { bird.