create implication neptune_(solar_house) (24) -> solar_house (141)
create implication oberon_(solar_house) (6) -> solar_house (141)
create implication ophelia_(solar_house) (5) -> solar_house (141)
create implication perdita_(solar_house) (2) -> solar_house (141)
create implication pluto_(solar_house) (6) -> solar_house (141)
create implication portia_(solar_house) (5) -> solar_house (141)
create implication prospero_(solar_house) (5) -> solar_house (141)
create implication puck_(solar_house) (8) -> solar_house (141)
create implication rosalind_(solar_house) (6) -> solar_house (141)
create implication saturn_(solar_house) (16) -> solar_house (141)
create implication setebos_(solar_house) (5) -> solar_house (141)
create implication sol_(solar_house) (14) -> solar_house (141)
create implication stephano_(solar_house) (4) -> solar_house (141)
create implication sycorax_(solar_house) (4) -> solar_house (141)
create implication titania_(solar_house) (9) -> solar_house (141)
create implication titan_(solar_house) (4) -> solar_house (141)
create implication trinculo_(solar_house) (2) -> solar_house (141)
create implication umbriel_(solar_house) (8) -> solar_house (141)
create implication uranus_(solar_house) (52) -> solar_house (141)
create implication venus_(solar_house) (6) -> solar_house (141)
create implication enceladus_(solar_house) (2) -> solar_house (141)