Implicating holding_ball → holding_object
Link to implication
Reason:
Balls are objects.
Also, holding_ball I-> ball because holding a ball requires a ball to be present.
See forum #210147 for other related implications.
Updated
Posted under Tag Alias and Implication Suggestions
Implicating holding_ball → holding_object
Link to implication
Balls are objects.
Also, holding_ball I-> ball because holding a ball requires a ball to be present.
See forum #210147 for other related implications.
Updated
BlueDingo said:
Implicating holding_ball → holding_object
Link to implicationReason:
Balls are objects.
Also, holding_ball I-> ball because holding a ball requires a ball to be present.
See forum #210147 for other related implications.
Seems a good idea but why is the tag red, is it declined?
Updated by anonymous
Silverflame said:
Seems a good idea but why is the tag red, is it declined?
Unapproved aliases/implications have a reddish background. It hasn't been declined yet.
Updated by anonymous